Comprehension Without Competence: Architectural Limits of LLMs in Symbolic Computation and Reasoning
arxiv.org·17h
🌳Context free grammars
AtCoder Finals Problem Statement
atcoder.jp·3h·
Discuss: Hacker News
🇯🇵Japanese Computing
Cactus Language • Stylistics 4
inquiryintoinquiry.com·1d
🌳Context free grammars
Functional Abstract Interpretation
simon.peytonjones.org·1d·
Discuss: Hacker News
🔗Functional Compilers
Turing, Wagner, Ruth
blog.computationalcomplexity.org·2h·
Discuss: blog.computationalcomplexity.org
📐Mathematical Art
FSM Library for Embedded C Projects
hackster.io·2d
🦀Embedded Rust
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·23h·
Discuss: Hacker News
🎯Interactive Provers
Performance Hacks for Brady’s Algorithm
nickdrozd.github.io·1d
🎞️Tape Combinatorics
A PhD's Apology
cappadokes.github.io·8h·
Discuss: Hacker News
🧮Theoretical Computer Science
What can we expect of LLMs as Software Engineers?
chelseatroy.com·2d
📝Text Parsing
Code Smell 307 - Naive Time Assumptions and How to Fix It
hackernoon.com·9h
🎯Gradual Typing
Parsing Safetensors File Format in C
leetarxiv.substack.com·1d·
Discuss: Substack, r/programming
✅Format Verification
How to reason from first principles
caseyhandmer.wordpress.com·2h
🎯Proof Tactics
Kiro and the future of AI spec-driven software development
kiro.dev·7h·
Discuss: Lobsters, Hacker News
🔌Interface Evolution
How a 12% Tax Rule Becomes Code: Grammar, Law, and Machine Execution
dev.to·8h·
Discuss: DEV
📝Concrete Syntax
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·1d·
Discuss: Hacker News
🔍Type Inference
Unlock Gemini’s reasoning: A step-by-step guide to logprobs on Vertex AI
developers.googleblog.com·23m
⚡Proof Automation
Historical highlights?
logicmatters.net·1d
🔀Category Theory
2011 N1 = 2024 A2
blog.evanchen.cc·3h
🔬Lean
Janet Feature Demos
github.com·14h·
Discuss: Lobsters, Hacker News
🧠Lisp Dialects